Formal Modeling Of Middleware-based Distributed Systems
نویسندگان
چکیده
منابع مشابه
Formal Modeling Of Middleware-based Distributed Systems
Effective design of middleware-based systems requires modeling notations that allow the use of process-interaction schemes provided by different middleware packages directly in designs. Traditional design notations typically only support a fixed class of interprocess interaction schemes, and designers wishing to use them for modeling middleware-based systems must devote significant effort to en...
متن کاملNetwork-Based Distributed Systems Middleware
Middleware is a growing, multidisciplinary area that merges knowledge from diverse areas such as distributed systems, networks and, more recently, embedded systems. This paper presents the results of an extensive review of middleware related literature, and presents an overview of critical features that must be considered during middleware development. These features include: network independen...
متن کاملMiddleware for Distributed Systems
Improvements in hardware and networking technologies over the past decades have yielded dramatic increases in computer and communication capabilities. Despite these advances, the effort and cost required to develop, validate, port, and enhance software for distributed systems remained remarkably high. Much of the complexity and cost of building these systems can be alleviated by the use of high...
متن کاملFormal Specification of Object-Based Distributed Systems
* This work is partially supported by HP Brasil PUCRS agreement CASCO (24o TA.). † This author is partially supported by CNPq (Brazil). Abstract. In this paper we present the main characteristics of a graphical and declarative formal specification language, called Object Based Graph Grammars (OBGG), suitable for the specification of distributed systems. We show how one can use OBGG by modeling ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.01.010